An Elementary Construction for a Non-elementary Procedure
نویسندگان
چکیده
We consider the problem of the product nite model property for binary products of modal logics. First we give a new proof for the product nite model property of the logic of products of Kripke frames, a result due to Shehtman. Then we modify the proof to obtain the same result for logics of products of Kripke frames satisfying any combination of seriality, re exivity and symmetry. We do not consider the transitivity condition in isolation because it leads to in nity axioms when taking products.
منابع مشابه
Parity Games on Bounded Phase Multi-pushdown Systems
In this paper we address the problem of solving parity games over the configuration graphs of bounded phase multi-pushdown systems. A non-elementary decision procedure was proposed for this problem by A. Seth. In this paper, we provide a simple and inductive construction to solve this problem. We also prove a non-elementary lower-bound, answering a question posed by A.Seth.
متن کاملDesigning a Cultural Efficiency Model for Elementary School Teachers based on Culturally Relevant Pedagogy
Being an efficient educator is a virtue that includes the notion of cultural efficiency as well. To assess the extent to which Iranian teachers/educators are culturally efficient a model is needed by which different components of this construct are clearly defined. To design such a model a group of ten elementary school teachers with maximum cultural diversity was selected and then asked to wri...
متن کاملThe Process of Training Teachers for Elementary School in the Islamic Republic of Iran: Opportunities and Threats
The Process of Training Teachers for Elementary School in the Islamic Republic of Iran: Opportunities and Threats B. Sami’eenejaad M. Aliasgari, Ph.D. N. Moosaapoor, Ph.D. Gh. Haajihoseynnejaad, Ph.D. Teacher training in the Islamic Republic of Iran lacks a model matching its status. In order to shed light on all four aspects of training teachers for elementary school, ...
متن کاملA study of late complications circumcision in male elementary students Khorramabad, 2001-2002
Background: Circumcision is the most common surgical operation procedure in the world. If this procedure is incorrectly, many complications will occurred. The purpose of this study was determination of late complication of circumcision in elementary school in khoramabad in 2000-2001. Materials &methods: In this study (cross-sectional) 3205 boys have been examined for late complication of circu...
متن کاملThe Impact of Guided Writing Practice on the Speaking Proficiency and Attitude of EFL Elementary Learners
Writing and speaking are the productive skills of a language and share similar components. However, there has been little attempt to investigate the impact of writing practice on the speaking proficiency of the learners. The present study using a pretest-posttest controlled group design in a quasi-experimental approach investigated the effect of guided writing practice on the speaking proficien...
متن کاملAssessment of health risk attributed to heavy metals of settled dust in the elementary schools of Bandar Abbas
Background and Objective: Heavy metal (HM) pollution of settled dust on the interior surfaces of elementary schools may affect the health of young students; hence, the health risk of such pollution should be assessed. Therefore, the aims of this study were to measure the content of heavy metals in the settled dust in the indoor of elementary schools in Bandar Abbas and to assess the attributed ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Studia Logica
دوره 72 شماره
صفحات -
تاریخ انتشار 2002